De ning and Comparing Memory Consistency Models
نویسندگان
چکیده
Because multiprocessors implement sophisticated memory structures in order to enhance performance, processes can have inconsistent views of memory which may result in unexpected program outcomes. A memory consistency model is a set of guarantees that describes constraints on the outcome of sequences of in-terleaved and simultaneous operations in a multipro-cessor. In this paper, we present a unifying framework to describe, understand, and compare memory consistency models. The framework is used to redeene and compare several widely used consistency models.
منابع مشابه
Location Consistency-A New Memory Model and Cache Consistency Protocol
Existing memory models and cache consistency protocols assume the memory coherence property which requires that all processors observe the same ordering of write operations to the same location. In this paper, we address the problem of de ning a memory model that does not rely on the memory coherence assumption, and also the problem of designing a cache consistency protocol based on such a memo...
متن کاملDefining Uniform and Hybrid Memory Consistency Models on a Unified Framework
The behavior of Distributed Shared Memory Systems is dictated by the Memory Consistency Model. Several Memory Consistency Models have been proposed in the literature and they fit basically in two categories: uniform and hybrid models. To provide a better understanding on the semantics of the memory models, researchers have proposed formalisms to define them. Unfortunately, most of the work has ...
متن کاملLocation Consistency: Stepping beyond the Barriers of Memory Coherence and Serializability
A memory consistency model represents a binding \contract" between software and hardware in a shared-memory multiprocessor system. It is important to provide a memory consistency model that is easy to understand and that also facilitates e cient implementation. The memory consistency model that has been most commonly used in past work is sequential consistency (SC), which requires the execution...
متن کاملVisual-MCM: Visualising Execution Histories on Multiple Memory Consistency Models
The behaviour of Distributed Shared Memory Systems is dictated by the memory consistency model. In order to provide a better understanding on the semantics of the memory models, many researchers have proposed formalisms to deene them. Even with formal deenitions, it is still diicult to say what kind of execution histories can be produced on a particular memory model. In this paper, we propose V...
متن کاملVerifying concurrent programs under weak memory models
Modern multicore processors provide weak memory models like TSO, PSO or even weaker execution semantics. These memory models – due to store bu ers – seemingly reorder program operations. Thus, they deviate from the commonly assumed sequential consistency (SC) semantics. Analysis and in particular veri cation techniques for concurrent programs consequently need to take these weak semantics into ...
متن کامل